It's still the Gulf of Mexico

The large body of water to our south, the third coast, that gross place to swim, is still called The Gulf of Mexico. And it's just fine.