Warships from Europe to Asia – Shipping logistics in the Dutch-Portuguese war in Asia in the 17th century