Question: WHAT Is the population of the Florida county that is named after a famous Spanish conquistador?
Sentence (from "Leon County, Florida"): The county is named after the Spanish explorer Juan Ponce de León.
Relevant evidence: No