. "1982 disestablishment in North Korea" . . .