Shorts worth $20.37 billion will be liquidated at $128,000.