સ્પષ્ટ સૂચના આપવામાં આવે છે કે તમારે ક્યાંય ઉલ્લેખ કરવાનો થાય તો ધી ડેમોક્રેટિક પીપલ્સ રિપબ્લિક ઓફ કોરિયા એવા નામથી સંબોધન કરવું.