NYMEX WTI crude futures settle at $88.28 a barrel, down $1.16, 1.30%