The Disney movie 'Frozen' is reportedly a popular favorite among North Korean developers