Social World of Batavia: European and Eurasian in Dutch Asia