It was pure fantasy to think that North Korea was going to turn over its nuclear arsenal within months of the planned June 12 Trump-Kim summit. Yet, apparently, National Security Adviser John Bolton has an active imagination. So it’s a good thing that Pyongyang has rejected Bolton’s ridiculous Libya plan; Trump can now focus on realistic ways to get the denuclearization we all want. Bolton has been aggressively touting his plan to apply the “Libya model” to North Korea. By this he means that, as Libya did in 2003, North Korea should turn over its nuclear program to the United...