Question: What was the population (according to the 2010 census) of the town where the Old Gray County Courthouse is located?
Sentence (from "Old Gray County Courthouse"): It was built as a department store in 1880 and leased to Gray County for use as a courthouse in January 1888.
Relevant evidence: No