Trump's options: how could the Iran war end? | The Global Story