Question: What was the population in 2010 of the county where San Antonio Florida is located ?
Sentence (from "Pasco County, Florida"): Its county seat is Dade City, and its largest city is New Port Richey.
Relevant evidence: No