Every Korean citizen is familiar with the first article of the Constitution: “The Republic of Korea shall ... our precious democratic republic to regress into a dictatorship is to declare one’s intent ...
As the excited, flag-waving team floated down the River Seine, both French and English announcers introduced them as the "Democratic People's Republic of Korea" - the official name of North Korea.