dutch-asiatic shipping in the 17th and 18th centuries (Martinus nijhoff, 1979)