Question: What was the population in 2010 of the county where San Antonio Florida is located ?
Sentence (from "San Antonio, Florida"): San Antonio, or unofficially San Ann as the locals call it, is a city in Pasco County, Florida, United States.
Relevant evidence: Yes