Someone shorting BTC with a 40x leverage