How Trump lost the war with Iran