Batavia var til 1950 navnet på Indonesias hovedstad Jakarta.