For folks who want to get in the weeds of mapping North Korea on OSM, there's some documentation on OSM wiki. [1]

[1] https://wiki.openstreetmap.org/wiki/Category:North_Korea