https://www.openstreetmap.org/node/305639190 https://www.openstreetmap.org/node/305639190 Most likely add an American English name, leaving the English name as

https://www.openstreetmap.org/node/305639190 https://www.openstreetmap.org/node/305639190 Most likely add an American English name, leaving the English name as Gulf of Mexico. But I didn't read all 108 comments in the discussion.