War With Iran Might Be More Costly Than Trump Thinks