Troops at the border: A Chinese military intervention in Hong Kong?