. . "1972 disestablishment in North Korea" . .