In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico
(community.openstreetmap.org)
Can we poll the community for alternate names that would enrage Trump? If it's gonna change, let's have fun with it.
Gulf of Veganism and Low Cholesterol
Gulf of Checks and Balances
Gulf of 34 Felony Counts
Gulf of Cheetos (let's get those sweet advertising dollars while we're at it)
Gulf of Insecurity
Kamala-Clinton Gulf