До пандемии граждане КНДР имели право покидать страну и по туристическим, и по трудовым, и по дипломатическим целям. Для этого там оформлялась выездная виза, аналогичная нашему загранпаспорту. Источником информации является закон КНДР "Об иммиграции", последняя редакция от 2012 года.
https://www.lawandnorthkorea.com/laws/immigration-law-2012 Не могут быть источниками ни Ланьков, пропагандист из южной Кореи, ни Госдеп США, ни грантоед "Международная Амнистия".