While Trump ought to avoid unnecessary threats, the regime should be in no doubt that military strikes remain an option.” ...