Price of the West Texas Intermediate crude oil benchmark