The OSM Community discusses the Trump Administration's renaming of "The Gulf of Mexico" to "The Gulf of America"
(community.openstreetmap.org)
Oh, yeah — I wasn't inferring that any one of those is the appropriate tag for this purpose; I was just mentioning that there are methods for tagging alternate names depending on the context, and that, perhaps, something similar could be done for this purpose (which, imo, it seems is main topic of discussion in the linked forum post).