From Czechia or Czech Republic? and edit #43111786, there clearly is near-consensus that a country’s name should be the name desired by its government, if it is accepted by ISO (as an ISO 3166 short name). Therefore, South Korea needs to be renamed to “Republic of Korea”; probably with a suitable disambiguation.