… la agencia de noticias china Xinhua, que empleó las iniciales de República Popular Democrática de Corea, el nombre oficial de Corea del Norte.
… la agencia de noticias china Xinhua, que empleó las iniciales de República Popular Democrática de Corea, el nombre oficial de Corea del Norte.