The Port of Batangas, as seen from the deck of my overnight ferry