Undoubtedly it would’ve been the only restaurant they allowed foreigners to visit during their tour. Those North Korea trips are extremely restricted and you go where your guide goes.
My mate visited NK and he said they had traffic police directing traffic on roads virtually devoid of any vehicles. They still waved their arms around, though.
My buddy was there about 10 years ago and told the exact same story, the only people with cars are with the government, but there’s still white gloved polices at all the intersections directing…nothing