Side comment: North Korea seems to be allowing tourists to take videos fairly freely now, and some of those videos are appearing on YouTube. While the tourists' movements still seem restricted, the videos offer glimpses into life in North Korea I haven't seen before. For example:
https://youtu.be/HQEYB4QWCjM
https://youtu.be/d7m8hZ67Bz0
https://youtu.be/guZQNMEz9as