Bitcoin shorting via ETF becomes a reality