how to import DPRK music

i am looking to buy music from the dprk, the format doesent matter, LP, tape or cd.

i would preffer the band Pochonbo electronic ensemble.

and hints help, thanks