Gulf of Campeche n 1: a part of the Gulf of Mexico to the west of Yucatan [syn: {Gulf of Campeche}, {Golfo de Campeche}, {Bay of Campeche}]