Notes

The new name of Batavia is Jakarta.

The new name of Batavia is Jakarta.