Gulf

short for the Gulf of Mexico, an arm of the Atlantic Ocean between Mexico and the US state of Florida.