SUMMARY
The citydb.sqlite from current git lists both North and South Korean cities under the same country "Korea". This is practically incorrect, so we need to separate both Koreas for this moment.

STEPS TO REPRODUCE
1. git checkout https://cgit.kde.org/kstars.git/
2. Open kstars/data/citydb.sqlite
3. Check where country == 'Korea'

OBSERVED RESULT
Both North and South Korean cities are mixed.

EXPECTED RESULT
These cities should go to North Korea:
id=540, 'Ch''ongjin'
id=1334, 'Hungnam'
id=1507, 'Kimch''aek'
id=1428, 'Kaesong'
id=1766, 'Maando'
id=2305, 'P''yongyang'
id=2804, 'Sinuiju'
id=3336, 'Wonsan'
id=3383, 'Yupojin'

All the rest should go to South Korea.

Also there are some errors in South Korean cities too:
id=719, 'Daegwallyeong' -> 'Province' should be 'Gangwon'
id=797, 'Dokdo' -> 'Province' should be 'Gyeongbuk'
id=1089, 'Name' should be 'Geumsan'