One Market? Stocks, Futures, and Options During October 1987