In 2016, what was the population of the city in which Michael Brook was born?