Smart diplomacy backed by the threat of force, not Twitter bluster, is the way to deal with Kim Jong Un.