Out: Hermit kingdom. In: Magic kingdom?

This appears to be the first time Disney characters have been included in a major performance, though Winnie the Pooh and Mickey Mouse have been popular among children for several years. Backpacks, pencil cases and pajamas imported from China often feature Disney characters, and stories such as “Dumbo” have been translated into Korean for North Korean schoolchildren. However, it is unusual to make such images a central part of a North Korean performance and to publicize it on state TV.

It was unclear whether the Disney characters were officially licensed.