I dont realy think that NK could do mining bitcoin in first place. North korea was the that no one can do what ever they want to do except for the president even internet i think is very hard to penitrate inside the NK country all the news there was only from local country there is no international news in there country.