Question: The Experimental Oculina Research Reserve preserves the Oculina Banks, a reef of ivory bush coral ("Oculina varicosa") off the coast of Fort Pierce, a city in and the county seat of St. Lucie County, Florida, in which country?

Context paragraphs:
Ivory bush coral: The ivory bush coral "(Oculina varicosa)" is a U.S. National Marine Fisheries Service species of concern.  Species of concern are those species about which the U.S. Government’s National Oceanic and Atmospheric Administration (NOAA), National Marine Fisheries Service, has some concerns regarding status and threats, but for which insufficient information is available to indicate a need to list the species under the U.S. Endangered Species Act (ESA).

Experimental Oculina Research Reserve: The Experimental Oculina Research Reserve preserves the Oculina Banks, a reef of ivory bush coral ("Oculina varicosa") off the coast of Fort Pierce, Florida.  "Oculina varicosa" is a U.S. National Marine Fisheries Service species of concern.  Species of concern are those species about which the U.S. Government’s National Oceanic and Atmospheric Administration (NOAA), National Marine Fisheries Service, has some concerns regarding status and threats, but for which insufficient information is available to indicate a need to list the species under the U.S. Endangered Species Act (ESA).

Fort Pierce, Florida: Fort Pierce is a city in and the county seat of St. Lucie County, Florida, United States.  It is also known as the Sunrise City, sister to San Francisco, California, the Sunset City.  The population was 41,590 at the 2010 census.  As of 2012, the population recorded by the U.S. Census Bureau was 42,645.  It is named after the army installation of Fort Pierce built in the area in 1838 during the Second Seminole War.

St. Lucie County Regional History Center: The St. Lucie County Regional History Center (formerly known as the St. Lucie County Historical Museum) is located at 414 Seaway Drive, Fort Pierce, Florida.  The Museum opened September 17, 1968 under the auspices of the St. Lucie County Historical Commission.  In 1988 the supervision of the Museum was transferred to the Leisure Services/Parks and Recreation Department of St. Lucie County.  The Museum is currently run by the volunteers of the St. Lucie Historical Society.

St. Lucie County Aquarium: St. Lucie County Aquarium is a public aquarium in Fort Pierce, St. Lucie County, Florida.  It contains the Smithsonian Marine Ecosystems Exhibit, which is a 3000-gallon model of a coral reef ecosystem; the exhibit was retired in 2000 from the National Museum of Natural History.  The other exhibits represent ecosystems of the Indian River Lagoon and the surrounding coast.

St. Lucie County Library System: The St. Lucie County Library System, based in St. Lucie County, Florida, has branches in the cities of Fort Pierce and Port St. Lucie.

Florida State Road 615: Locally known as 25th Street in Fort Pierce, State Road 615 (SR 615) is a 6.2-mile-long north–south commuter road serving Saint Lucie County, Florida, USA.  The northern terminus is an intersection with US 1 (SR 5) northeast of the St. Lucie County Airport, having been recently extended north from its previous terminus at Milton Road; the current southern terminus is an intersection with Edwards Road (former SR 611, former SR 611B, and current County Road 611).  South of Edwards Road in Fort Pierce, there exist no County or State Road 615 signage.

Oculina diffusa: Oculina diffusa (commonly referred to as ivory bush coral) is a coral found mainly on the east coast of central Florida.  It is also found in North Carolina, the Bahamas, and West Indies.  It is found in shallow water, usually down to 3 m deep but occasionally as deep as 20 m .  Its colonies are dense and have a yellow-brown color.  It favours areas with high amounts of sedimentation.

St. Lucie County, Florida: St. Lucie County is a county located in the state of Florida, in the United States.  As of the 2010 census, the population was 277,789.  The county seat is Fort Pierce.  As of the 2015 Census Estimate, St. Lucie County is at a population of 298,563.

Hutchinson Island (Florida): Hutchinson Island is a barrier island on the coast of Martin and St. Lucie counties, Florida.  The southern one-third of Hutchinson Island is in Martin County while the northern two-thirds is in St. Lucie County.  It is bounded on the east by the Atlantic Ocean, on the south by the St. Lucie Inlet, on the west by the Indian River, and on the north by the Fort Pierce Inlet, which separates it from what is known in St Lucie County as North Hutchinson Island, or sometimes "North Beach."  North Hutchinson Island extends into Indian River County, but it is rarely called that north of the county line.  In fact the Indian River county portion which extends to the Sebastian Inlet is usually called Orchid Island, although it is not a separate island.

Supporting paragraphs: Experimental Oculina Research Reserve Fort Pierce, Florida
Answer: United States