Fascinating if true, considering the DPRK's historical use of media for propaganda. Their animation studio, SEK, did quite a bit of outsourcing work, including some 80s cartoons. Maybe someone got their wires crossed there?