Chinese military invades Hong Kong.