Sorry about that, I put ESRI as the source out of habit. I got the names from here: https://kcnawatch.org/newstream/1713308938-866129174/부흥강국의-전면적발전기를-상징하는-인민의-리상/ and here: https://www.nknews.org/2024/04/kim-jong-un-debuts-new-song-praising-himself-at-grand-opening-of-housing-project/