उत्तर कोरिया के आधिकारिक नाम, डेमोक्रेटिक पीपुल्स रिपब्लिक के लिए आद्याक्षर का उपयोग करते हुए कोरिया का।