I see Golfe du Mexique (Golfe d'Amerique) from France in gmaps, and golfe du mexique/gulf of mexico/golfo des mexico on the maps supported by leaflet (depending on the provider)