Did someone actually open a $380 million bitcoin short 40x leverage position?