How Trump’s war with Iran would be different