a province of the island of Manilla, in the East Indies. It lies next to the city of Manilla, and extends along the coast on the east side of the island, a little beyond the Bay of Batangas.