Trump, the war with Iran