Trump’s Iran bluster ends with a weak whimper