The documentary is "Inside North Korea", for the curious: https://www.youtube.com/watch?v=mxLBywKrTf4