The Gulf of Mexico is the Gulf of Mexico is the Gulf of Mexico!

And it will always be the Gulf of Mexico in spite of what any

 random idiot with limited power might decree.

That's me who said that!