(n)Gulf of Campeche, Golfo de Campeche, Bay of Campechea part of the Gulf of Mexico to the west of Yucatan