Batavia (nombre propio): Nombre antiguo de Yakarta, la capital de Indonesia.