Taesong's ("Republic of Taesong" on this map) Country Capital of "Seongchen" on map type Claimsmap version 9.4a is located here:

Seongchen of Taesong on map type Claimsmap version 9.4a