this post was submitted on 21 Jan 2025
594 points (84.9% liked)

Funny

7465 readers
664 users here now

General rules:

Exceptions may be made at the discretion of the mods.

founded 2 years ago
MODERATORS
 
you are viewing a single comment's thread
view the rest of the comments
[–] GrumpyDuckling@sh.itjust.works 2 points 2 weeks ago

If they officially changed the name, then that would probably affect a shitton of laws, contracts, treaties, government policies, and who knows what else that reference the "gulf of Mexico"