In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
The maintainers were doing a good job reverting contributions for a while. Here's a good example: https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571/16
They follow names assigned by https://unstats.un.org/unsd/ungegn/, and use the labels like en_US for official single-country names. While I would much prefer it remain an alt_name, I understand their rational. Ugh.