Name that totalitarian tune

Back in July I posted a video of an outdoor musical performance at the Tower of the Juche Idea in Pyongyang, North Korea. DJ Mandyczewski, my source for that material, has tracked down the name of the song performed: it's "천리마선구자의노래," or "Song of the Chollima Pioneers." The lyrics begin: "Our Paekdu spirit overflowing / We build a new society on our own / Comrades, let's go, flames of innovation are flaring." Apparently North Korea recently held a competition in which school orchestras and bands played the song: one example is above, and others are here and here. Thanks, DJ M.!