The October 1987 Market Break: A Report by the Division of Market Regulation, US Securities and Exchange Commission