colonial city of Batavia
... that the colonial city of Batavia (today Jakarta) was founded after the previous city, governed by the Sultanate of Banten, was completely eradicated by the Dutch colonists?
... that the <b id="mwCqE"><a class="mw-redirect" href="./List_of_colonial_buildings_and_structures_in_Jakarta" id="mwCqI" rel="mw:WikiLink" title="List of colonial buildings and structures in Jakarta">colonial city of Batavia</a></b> (today <a href="./Jakarta" id="mwCqM" rel="mw:WikiLink" title="Jakarta">Jakarta</a>) was founded after the previous city, governed by the <a class="mw-redirect" href="./Sultanate_of_Banten" id="mwCqQ" rel="mw:WikiLink" title="Sultanate of Banten">Sultanate of Banten</a>, was completely eradicated by the Dutch colonists?