Java's Northeast Coast 1740-1840 by R.R. van Niel