Trump’s war in Iran: how does it end?