1
the Dutch East Indies Company and the northeast coast of Java, 1680 - 1743
2
shipping and trade in Java around 1775