What was the population (according to the 2010 census) of the town where the Old Gray County Courthouse is located?