Eastern Samarang Dutch East Indies Indonesia Java c.1858 Haren large detail map