Crude Oil Odds: When Will Oil Set a New All-Time High?