Question: What was the population in 2010 of the county where San Antonio Florida is located ?
Sentence (from "Pasco County, Florida"): As of the 2010 census, the population was 464,697.
Relevant evidence: Yes