Valuing the Futures Market Clearinghouse&Apos;S Default Exposure During the 1987 Crash