How does even mess up “Republique de Coree” for “Republique Populaire Democratique de Coree”

Anyways, enjoy the recognition, boys!