Did President Trump's political enemies exaggerate their fear about his threat to Iran?