NYMEX WTI Crude July futures settle at $80.75 a barrel, down $4.13, 4.87%.