In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
For the next four years I also propose renaming en_us to an-us.
For the next four years I also propose renaming en_us to an-us.