Официальное название государства:

Республика Корея (Корейская Народно-Демократическая Республика)