East Indies pilot: v. 1. Island of Java (with exception of western part from Java Head to Batavia), islands east of Java, south and east coasts of Borneo and Celebes Island. 1st edition.