عدد سكان كوريا الشمالية