Question: What was the 2010 population of the county where Ripley Entertainment's headquarters is located?
Sentence (from "Orange County, Florida"): Orange County is a county in the state of Florida, in the United States.
Relevant evidence: Yes