“West Texas Intermediate crude oil prices rose 5% to $94.10 per barrel.”