What would be the cost of war with Iran?