How to Short Bitcoin, Why, and Where to Do It