Question: According to the 2010 census, what was the population of the county which headquarters the DeKalb County School District?
Sentence (from "DeKalb County, Georgia"): As of the 2010 census, the population was 691,893, making it Georgia's fourth-most populous county.
Relevant evidence: Yes