Dirigeants politiques -- Biographies -- Corée (République populaire démocratique) -- 1945-....