As of 2010, what is the city population of the city John C. Tibbetts was born in?