Question: What was the 2010 population of the county where Ripley Entertainment's headquarters is located?
{'answer': '1,145,956', 'supporting_facts': [['Ripley Entertainment', 1], ['Ripley Entertainment', 2], ['Orange County, Florida', 0], ['Orange County, Florida', 1]]}