The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"

In light of recent events, here's OpenStreetMap editors discussing naming of the Gulf of Mexico

OSM Meta Thread: Gulf of America - Gulf of Mexico