WTI Crude Oil (WTI) closes above $85 on July 15?