According to the 2010 census, what was they population of the city in which John (Jack) Holley was born?