The Oil Curve Knew: The Options Market Called Monday's Crash