I’ve been curious about this and can’t seem to find a good source on search engines, it’s all wikipedia and human rights watch or some stuff like that. Tried looking for some dprk news sources (I wanted ones actually from Korea), but got only propaganda from the US or occupied korea.
That might have been a joke, but it would be really funny