La Corée du Nord nomme pour la première fois une femme, Choe Son Hui, à la tête de sa diplomatie