Korea = Democratic People's Republic, China is called Korea, Japan is called Korea, Taiwan Province Province/Hongkong is called Korea, and the English circle is called Korea, all of which are called democracy.

The People's Republic of Korea, Korea for short.