Question: WHAT Is the population of the Florida county that is named after a famous Spanish conquistador?
{'answer': '287,822', 'supporting_facts': [['Leon County, Florida', 1], ['Juan Ponce de León', 0]]}