The Point: How likely is a Chinese military intervention in HK?