מה אפשר להסיק על המדינה מהשם "הרפובליקה הדמוקרטית של קוריאה"