Short-dated options trade behind Thursday's U.S. stock market ... - Reuters