Where will the funds of those shorting BTC go? :-)