Question: What was the 2010 population of the county where Ripley Entertainment's headquarters is located?

Context paragraphs:
Ames, Iowa: Ames is a city located in the central part of Story County, Iowa, United States.  It is located approximately 30 mi north of Des Moines, and had a 2010 population of 58,965.  The U.S. Census Bureau designates the Ames metropolitan statistical area as encompassing all of Story County; combined with the Boone, Iowa micropolitan statistical area (Boone County, Iowa), the pair make up the larger Ames-Boone combined statistical area.  While Ames is the largest city in Story County, the county seat is in the nearby city of Nevada 8 mi east of Ames.

Orange County, Florida: Orange County is a county in the state of Florida, in the United States.  As of the 2010 census, the population was 1,145,956, making it Florida's fifth-most populous county.  The county seat is Orlando.

Mount Vernon, Indiana: Mount Vernon is a city in and the county seat of Posey County, Indiana, United States.  Located in the state's far southwestern corner, within 15 miles of either the southernmost or westernmost points it is the westernmost city in the state, but not the southernmost, that being Rockport, about 40 miles to the southeast.  The population was 6,687 at the 2010 census.  It is located in Black Township and is part of the Evansville, Indiana, metropolitan area, which had a 2010 population of 358,676.

Marshfield, Wisconsin: Marshfield is a city in Wood County and Marathon County in the U.S. state of Wisconsin.  It is located at the intersection of U.S. Highway 10, Highway 13 and Highway 97.  The largest city in Wood County, its population was 19,118 at the 2010 census.  Of this, 18,218 were in Wood County, and 900 were in Marathon County.  The city is part of the United States Census Bureau's Marshfield-Wisconsin Rapids Micropolitan Statistical Area, which includes all of Wood County (2010 population: 74,749).  The portion of the city in Marathon County is part of the Wausau Metropolitan Statistical Area.

Jackson Township, New Jersey: Jackson Township, named after Andrew Jackson, is a township in Ocean County, New Jersey, United States.  As of the 2010 United States Census, the township population was 54,856.  The population increased by 12,040 (+28.1%) from the 42,816 counted in the 2000 Census, which had in turn increased by 9,583 (+28.8%) from the 33,233 counted in the 1990 Census.  The 2010 population was the highest recorded in any decennial census.  The township is located within the New Jersey Pine Barrens.

Harrisburg, Illinois: Harrisburg ( or ) is a city in and the county seat of Saline County, Illinois, United States.  It is located about 57 miles (92 km) southwest of Evansville, Indiana and 111 miles (179 km) southeast of St. Louis, Missouri.  The 2010 population was 9,017, and the surrounding Harrisburg Township had a population of 10,790, including the city residents.  Harrisburg is included in the Illinois-Indiana-Kentucky Tri-State Area and is the principal city in the Harrisburg Micropolitan Statistical Area with a combined population of 24,913.

East End, Saint Thomas, U.S. Virgin Islands: East End is an administrative subdistrict of the island of Saint Thomas in the United States Virgin Islands.  The largest community here is Red Hook, while smaller communities include Benner, Nazareth, Nadir, Frydendal, and Smith Bay.  Some of the offshore islands here include Great Saint James Island, Little Saint James Island, Bovoni Cay, Patricia Cay, Cas Cay, Rotto Cay, Thatch Cay, Shark Island, and Dog Island.  The East End subdistrict received 731 new residents between the 2000 U.S. Census and the 2010 U.S. Census, and has a 2010 population of 6,658.  The East End region offers a more secluded character and less population density than subdistricts as Charlotte Amalie, Southside, and the Tutu subdistricts.  This subdistrict is home to numerous of the islands’ largest resorts, in addition to many shopping areas and entertainment venues, as well as the Coral World Marine Park & Underwater Observatory in Coki Point, which is the most popular tourist attraction on Saint Thomas.  East End is located about 7.4 miles east of the territorial capital of Charlotte Amalie, which is an approximately thirty-minute drive on the windy, small and narrow Saint Thomas roads.  There are buses and taxis leaving from the East End.  A typical fare for a taxi drive to the capital costs $20.  The hotels on Saint Thomas are evenly divided between the two subdistricts of Charlotte Amalie, and the more expensive resort-style hotels by their own beachside in East End.  The East End resorts are therefore generally more expensive than those found elsewhere on the island.  Some of the famous beaches found here are Lindquist- and Sapphire Beaches, while others include Pineapple Beach (Renaissance Beach) and Vessup Beach amongst others.

Ripley Entertainment: Created by the success of "Ripley's Believe it or Not! ", Ripley Entertainment Inc. is a large entertainment and edutainment holding company owned by the Jim Pattison Group of Vancouver, Canada.  The company has its headquarters in an unincorporated part of southern Orange County, Florida, near Orlando, at an office complex near the intersection of Sand Lake Road and John Young Parkway.

Vanderburgh County, Indiana: Vanderburgh County is a county located in the U.S. state of Indiana.  As of 2010, the population was 179,703.  The county seat is in Evansville.  While Vanderburgh County was the seventh largest county in 2010 population with 179,703 people, it is also the eighth smallest county in area in Indiana and the smallest in Southwestern Indiana, covering only 236 sq mi.  In 2012, the population was 180,835.

Ocean County, New Jersey: Ocean County is a county located along the Jersey Shore in the U.S. state of New Jersey.  Its county seat is Toms River.  Since 1990, Ocean County has been one of New Jersey's fastest-growing counties.  As of the 2016 Census estimate, the county's population was 592,497, a 2.8% increase from the 576,567 enumerated in the 2010 United States Census, making Ocean the state's sixth-most populous county.  The 2010 population figure represented an increase of 65,651 (+12.8%) from the 2000 Census population of 510,916, as Ocean surpassed Union County to become the sixth-most populous county in the state.  Ocean County was also the fastest growing county in New Jersey between 2000 and 2010 in terms of increase in the number of residents and second-highest in percentage growth.  Ocean County was established on February 15, 1850, from portions of Monmouth County, with the addition of Little Egg Harbor Township which was annexed from Burlington County on March 30, 1891.  The most populous place was Lakewood Township, with 92,843 residents at the time of the 2010 Census (up 32,491 since 2000, the largest population increase of any municipality in the state), while Jackson Township, covered 100.62 sqmi , the largest total area of any municipality in the county.

Supporting paragraphs: Ripley Entertainment Orange County, Florida
Answer: 1,145,956