this post was submitted on 28 Jan 2025
559 points (94.9% liked)
Technology
61254 readers
5256 users here now
This is a most excellent place for technology news and articles.
Our Rules
- Follow the lemmy.world rules.
- Only tech related content.
- Be excellent to each other!
- Mod approved content bots can post up to 10 articles per day.
- Threads asking for personal tech support may be deleted.
- Politics threads may be removed.
- No memes allowed as posts, OK to post as comments.
- Only approved bots from the list below, to ask if your bot can be added please contact us.
- Check for duplicates before posting, duplicates may be removed
- Accounts 7 days and younger will have their posts automatically removed.
Approved Bots
founded 2 years ago
MODERATORS
you are viewing a single comment's thread
view the rest of the comments
view the rest of the comments
It's my understanding that the executive does not have the authority to unilaterally change official geographic names. As of my writing this, the name “change” has NOT been adopted by the United States government. Congress granted that authority to the US Board of Geographic Names in 1890. Unless accepted by the US BoGN, it changes nothing. I suppose Congress could rename it if they passed a bill that the president signed into law overriding that authority for that specific case, but until they did so, it’s not official.
Here is the link to the US Geographic Names Information system page showing the current official name of the Gulf of Mexico: https://edits.nationalmap.gov/apps/gaz-domestic/public/search/names/558730. Note the list of accepted variant names, which still doesn’t include “Gulf of America”.
Google are saying here that they will only change it on maps if it's made official by the US Government, which has not happened yet. That's why they haven't made any change yet, and won't unless Trump gets the US BoGN to do his bidding.
This is a good reminder and sanity check. Things this big are rarely easy to change.