Is There a Big Short in Bitcoin?