What is the title of Korea?

As in the actual names:
South Korea: Republic of Korea
North Korea: People's Democratic Republic of Korea