It seems that the rest of the world does not give a damn what Trump thinks. At least in OSM a place can be known by two names: “name:en” as the main name, and “name:en1” as an alternative name.
And Gulf of America is alright with me because the USA is not America.