That guy that "shorted" Bitcoin...