“West Texas Intermediate crude oil slumped 6% to $75.91 a barrel.”