["Cor\u00e9e (la R\u00e9publique populaire d\u00e9mocratique de)","Korea (the Democratic People's Republic of)","la R\u00e9publique populaire d\u00e9mocratique de Cor\u00e9e","the Democratic People's Republic of Korea"]