이북5도 기준 행정구역 설명인데 "광복 직후 개칭됐다"는게 사실이면

송림시, 사리원시처럼 '1945년 8월 15일 당시 행정구역'이 아닌데도 그냥 쓴다는 의미인가