The revision he posted was not the one I was talking about. There was another revision that directly said the mob killed the officer.