519
In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
This is a most excellent place for technology news and articles.
Fun fact, per the executive order, the whole body isn't being renamed the Gulf of America, only the "U.S. Continental Shelf area bounded on the northeast, north, and northwest by the States of Texas, Louisiana, Mississippi, Alabama and Florida and extending to the seaward boundary with Mexico and Cuba". That is, less than the northern half, as indicated in this map: https://commons.wikimedia.org/wiki/File:US_ECS_Regions_2023.png
I hope this is due to someone intentionally wording it to sound correct, but in reality being extra screwy so that they look like fools.
That’s like… slightly more reasonable than I thought it was. But it’s still deeply fucking stupid.