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...