Question: What was the 2010 population of the county where Ripley Entertainment's headquarters is located?
Sentence (from "Orange County, Florida"): As of the 2010 census, the population was 1,145,956, making it Florida's fifth-most populous county.
Relevant evidence: Yes