The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
[…] I think OSM shouldn’t just go out and follow every random suggestion any politician makes. […]
I think there's some use in including a countries official names for specific features, in some way. I'm not saying that the primary name should be that, but it's at least a name that is known and conceivably could be searched.