How robust is the Hong Kong Stock Exchange?