The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
[…] Let’s wait until anything actually changes officially […]
Hm, I would argue that there is no such thing as "officially" in regards to OpenStreetMap. Or are you referring to the name "Gulf of America" changing officially in the USA?