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

Funny

7818 readers
371 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 1 month 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"