A Plan of the City and Castle of Batavia In the Dutch East Indies, 1720.