HK short selling jumps to 25.7% as bearish bets hit $31.9B