Makes me wonder, has North Korea or Iran made an equivalent declaration about naming the USA "사탄의 겨드랑이" or "زیر بغل شیطان"?
(Google Translate from "Satan's armpit").
I mean, if temper tantrums by the supreme executive are allowed and all.
Or a future president renaming Mar-a-lago as Epstein's Resort... this opens the door to all kinds of petty behavior.
It seems that there are 363,123 `official_name:` tags in OSM [1], and the discussion thread hints that at least some* of them are due to naming disputes. Given (according to the thread) no-one actually renders the tag on their maps, using that tag in this case seems like a good policy.
[1]: https://taginfo.openstreetmap.org/keys/official_name#overvie...