North Korea’s Children’s Palace

So it was that the minders arranged an excursion to the palace on Thursday afternoon to have us see, first-hand, the top-rate extracurricular activities offered to the capital’s most gifted children between 11 and 16 years old.