What was the 2016 population of the city in which the Murder of Constable Thomas King took place?