“West Texas Intermediate crude oil prices fell 5.2% to $80.45 a barrel.”