The Arms of the Dutch East India Company and of the Town of Batavia