John Kelly on North Korea