“A Saudi pipeline to the Red Sea was successfully rerouting about 3.5 million barrels per day of Saudi crude.”