They sold off, using various means to short the market