. ., “The Hydrographic Survey of the Netherlands East Indian Archipelago”, IHR, no. 2, Jun. 2018.