costs of war with Iran