Численность населения северной кореи на 2023 год