The United States imports about half of its petroleum needs. Suppose that the rest of the oil producers are willing to supply as much oil as the United States wants at a constant price of $25 a barrel. What would happen to the price of domestic oil if a tax of $5 a barrel were placed on foreign oil?