short selling $BTC .