Question: What was the population in 2010 of the county where San Antonio Florida is located ?
Sentence (from "Pasco County, Florida"): Pasco County is a county located in the U.S. state of Florida.
Relevant evidence: No