After North Korea launched three more short-range ballistic missiles into the East Sea early on Saturday morning, local time, political observers were eagerly looking forward to Trump’s response, especially since the president had managed to get boxed in by Kim Jong Un: on one hand, do nothing and be mocked and ridiculed not only by the North Korean press, but by the rest of the developed world, whose view of Trump’s diplomatic skills could hardly be any worse; or on the other hand, launch a military campaign, either surgical or broad, and risk a retaliation against South Korea and millions