Statistics say that, before it sank into the ocean in the great earthquake of 1690, the town of Port