Hong Kong Short Bets Surge to $71.6 Billion in Bearish Frenzy