The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
To put it simple, they say each country can decide what name to use for where, and that's what OSM uses as a reference.
What it is called however is not by defined by what the president says alone though, it has to go through the entire government bureaucracy thing.