A crypto mystery: Why did no one short FTX?