Democratic People's Republic of Korea populated cities