¿En qué estado mexicano se encuentra la ciudad de Veracruz, bañada por las aguas del golfo de Campeche?