Formas alternativas del nombreRepública Popular de Corea
Corea (República Popular Democrática)
Corea (República Democrática Popular)
Choson Minchu-chui Inmin Konghwa-guk
Corea del Norte
Fuentes consultadas1. GAA República Popular de Corea
2. LCSH [Korea (North)]
3. TITOP República Popular de Corea