The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
I think the discussion there is quite reasonable given the circumstances, and official_name:en-US once the GNIS updates is the correct way to go until people actually start calling it the new name.
what a stupid timeline this is