November 13 saw the first reported maritime intervention in the violent civil disorder which has been afflicting Hong Kong for the past six months. A...