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, North Korea needs to be renamed to “Korea”; probably with a suitable disambiguation.