A part of the Gulf of Mexico to the west of Yucatan English: Gulf of Campeche, Golfo de Campeche, Bay of Campeche