Principal Dutch Colonies in the Indian Seas. Java & Borneo. Indonesia c1863 map