Hong Kong stocks sink, with mainland banks among top decliners; Hang Seng Index down 0.8% - @MarketWatch