this post was submitted on 21 Jan 2025
585 points (85.1% liked)

Funny

7305 readers
1383 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 2 points 18 hours 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"