Bitcoin Futures, Options, and Open Interest: Crypto Derivatives Break Records After the Halving