Trump’s bombing achieved less than Obama’s nuclear accord