The world needs to get back to calling them South Korea. This whole republic thing reminds me of China, which leads to commies, which makes me think of the North.
OK so on further inspection the north call themselves the Democratic People's Republic. No wonder I'm confused. Stick to North and South you dog eating fools.
Same was true for Germany in the 80s. I could never remember which one was the GDR and which one was whatever the other initials were.