If the United States buys so little oil from the Persian Gulf, why would a war in the region cause gas prices here to spike?