References
- “Gulf of America - Gulf of Mexico”. stillhart. General talk. OpenStreetMap Community Forum. Published: 2025-01-20T17:37:25.493Z. Accessed: 2025-01-21T08:47Z. https://community.openstreetmap.org/t/gulf-of-america-gulf-of-mexico/124571.
- “Restoring Names That Honor American Greatness”. The White House. Published: 2025-01-20. Accessed: 2025-01-22T06:59Z. https://www.whitehouse.gov/presidential-actions/2025/01/restoring-names-that-honor-american-greatness/.
- §“Sec. 4”
A quick read finds me the local name should not be recognized under those either. That is, until it’s actually commonly referred to like that. Then still, it would only be a local nickname to some region.
And the other two don’t appear to apply at all. Perhaps as language evolves a bit in the coming decades this might change.