One Market? Stocks, Futures and Options During October 1987