Ineos shuts pipeline, could send price of crude to new highs