Question: Are Cross Florida Barge Canal and Lake Worth Lagoon both located in Florida?

full_context: Document 1: Lake Worth, Florida: Lake Worth is a city in Palm Beach County, Florida, United States, which takes its name from the body of water along its eastern border, originally called "Lake Worth", and now generally known as the Lake Worth Lagoon. The lake itself was named for General William J. Worth, who led U.S. forces during the last part of the Second Seminole War. s of 2010 , the population estimated by the U.S. Census Bureau was 34,910. The city is included in the Miami-Fort Lauderdale-Pompano Beach Metropolitan Area, which is home to approximately 5,563,857 people.
Document 2: Coast-to-Coast Connector trail: The Coast-to-Coast Connector bicycle trail is a proposed 250 mile bicycle and multi-use trail across Florida. The trail would provide a path connecting the Gulf of Mexico on peninsular Florida's west coast to the Atlantic Ocean on Florida's east coast. Legislation in support of the planned trail passed the Florida House of Representatives in April 2014 and would fund it with $15.5 million. Florida State Senator Andy Gardiner of Orlando is one of the plan's leading supporters. Legislation funding the trail with $50 million was vetoed in 2013 by Governor Rick Scott in 2013. The funding would be used close gaps in the trail route. The estimated cost of the project is $45 million. It would incorporate existing public spaces and trails including:
Document 3: Brunswick–Altamaha canal: The Brunswick–Altamaha Canal was a 12-mile-long canal built to connect the Altamaha River to the city of Brunswick, Georgia at the Turtle River to transport goods from Brunswick's port to areas farther north and inland. It included locks on both ends of the canal. The canal was originally proposed in 1798 and after two failed charters (1826 and 1830), construction was started in 1836 by Thomas Butler King. The project was estimated to cost $450,000. The canal was finished and opened in 1854; however, by that time the canal was obsolete because of new railroads. The canal was closed by 1860. The Columbian mammoth was discovered during the construction of the canal.
Document 4: South Lake Worth Inlet: The South Lake Worth Inlet, also known as the Boynton Inlet, is an artificial cut through a barrier beach connecting the south end of the Lake Worth Lagoon in Palm Beach County, Florida with the Atlantic Ocean. The inlet is 130 ft wide and 6 ft and 12 ft deep.
Document 5: Outer barrier: The outer barrier, also known as the Long Island and New York City barrier islands, refers to the string of barrier islands that divide the lagoons south of Long Island, New York from the Atlantic Ocean. These islands include Coney Island, Long Beach Barrier Island, Island Park, Jones Beach Island, Fire Island and Westhampton Island. The outer barrier extends 75 mi along the South Shore of Long Island, from Rockaway Beach on the New York City/Nassau County border from Long Beach Barrier Islands' western edge, to Suffolk County's east end of Shinnecock Bay.
Document 6: Lake Osborne: Lake Osborne, Florida, USA is a 378-acre (152.9 hectares) lake that is part of a system of once natural freshwater lakes lying along the western slope of the coastal ridge in Palm Beach County just west of the Florida Intracoastal Waterway and Atlantic Ocean. It is located within the C-16 drainage basin which occupies approximately 40,031 acres of land (16,200 hectares). Five drainage canals discharge directly to Lake Osborne, and Lake Osborne discharges via the E-4 canal to the C16 and C51 canals to the Lake Worth Lagoon. The lake is bordered on the west by John Prince Memorial Park, and on the east be the City of Lake Worth.
Document 7: Ponce de Leon Inlet: The Ponce de Leon Inlet is a natural opening in the barrier islands in central Florida that connects the north end of the Mosquito Lagoon and the south end of the Halifax River to the Atlantic Ocean. The inlet originally was named Mosquito Inlet. In 1926 the Florida Legislature changed the name from Mosquito Inlet to Ponce de Leon Inlet. There was precedent for the change. Mosquito County had long before become Orange County, and the Mosquito River had become the Halifax River. Only the Mosquito Lagoon has kept its old name. It is the site of the town of Ponce Inlet, Florida and the Ponce de Leon Inlet Light. The inlet is maintained by the Ponce de Leon Inlet & Port District, a Division of the Volusia County, Florida government.
Document 8: Seven Seas Lagoon: The Seven Seas Lagoon is a man-made lake at the Walt Disney World Resort in Bay Lake, Florida, near Orlando. Located south of the Magic Kingdom theme park, the Seven Seas Lagoon serves as a natural buffer between the Magic Kingdom and its parking lot and connects with the adjacent Bay Lake. The lake reaches a depth of 14 feet. The lagoon is used mainly for recreational boating, as well as by the resort's three Disney Transport ferryboats that transport guests between the Magic Kingdom and the Transportation and Ticket Center.
Document 9: Lake Worth Inlet: The Palm Beach Inlet, also known as the Lake Worth Inlet is an artificial cut through a barrier island connecting the northern part of the Lake Worth Lagoon in Palm Beach County, Florida with the Atlantic Ocean. It is bordered by the town of Palm Beach on the south, and by the town of Palm Beach Shores to the north. The inlet is also the entrance channel for the Port of Palm Beach. Its coordinates are .
Document 10: Florida Ecological Greenways Network: Florida Ecological Greenways Network work to provide a "system of native landscapes and ecosystems that supports native plant and animal species, sustains clean air, water, fisheries, and other natural resources, and maintains the scenic natural beauty that draws people to visit and settle in Florida,” as stated Florida Greenways Commission. It also functions to devise a plan for a statewide greenways system, based on GIS (Geographic Information System) technology and suggestions from the public. The GIS data used includes soil, water, and geological information, wildlife movements and habitat data, as well as existing trails and parks, transportation and infrastructure fixtures, educational and historical sites, and political boundaries. This system would be created in accordance with the December 1994 report from the Florida Greenways Commission to the Governor of the state of Florida, a report which outlined the protocol for creating it. Such a system would connect all aspects of the state’s “green infrastructure”, making it more comprehensive for use by the state’s citizens and more effective in achieving greater sustainability throughout the state of Florida for generations to come.
Document 11: Canaveral Barge Canal: The Canaveral Barge Canal provides an east-to-west link between the Atlantic Ocean and Indian River Lagoon across northern Merritt Island, Florida, in two segments separated by the Banana River. It is located 15 miles south of Titusville, Florida. The canal is 12 feet deep and has entrances to other water systems including Syke's Creek and various marinas. The canal links Port Canaveral along the Atlantic Ocean to the Intracoastal Waterway running down the center of the Indian River Lagoon. The canal was constructed to allow the transport of crude oil by barge to the two power plants south of Titusville, Florida.
Document 12: Lake Worth Lagoon: The Lake Worth Lagoon is a lagoon located in Palm Beach County, Florida. It runs parallel to the coast, and is separated from the Atlantic Ocean by barrier beaches, including Palm Beach Island. The lagoon is connected to the Atlantic Ocean by two permanent, man-made inlets.
Document 13: Miami River Greenway: The Miami River Greenway is an urban greenway project in Miami, Florida located along both banks of the Miami River. The plan is for it to eventually form an uninterrupted walkway from the mouth of the river in Downtown Miami to the Dolphin Expressway near the Civic Center area, and in the long term all the way to Miami International Airport. On the north bank the walkway is currently known as the Miami Riverwalk which currently extends beyond the river through Bayfront Park along Biscayne Bay where it is known as the Bay Walk. Plans are to extend this as far north and south as the Julia Tuttle and Rickenbacker Causeways, respectively.
Document 14: Boca Grande Bike Path: The Boca Grande Bike Path is a 6.5 mile multi-use path in Boca Grande, Florida on Gasparilla Island. The northern portion of the path runs on the former right of way of the Charlotte Harbor and Northern Railway, which operated on Gasparilla Island from 1907 to 1981. As Florida's first rail trail, it was principally built for bicycles, but pedestrians also use it. Golf carts are also permitted on the path. Another trail exists on the mainland portion of the railroad line known as the Cape Haze Pioneer Trail.
Document 15: Cross Florida Barge Canal: The Cross Florida Barge Canal, now officially the Marjorie Harris Carr Cross Florida Greenway is a protected green belt corridor, one mile (1.6 km) wide in most places. It is named for the leader of opposition to the Cross Florida Barge Canal, a canal project to connect the Gulf of Mexico and the Atlantic Ocean across Florida for barge traffic. Two sections were built but the project was cancelled, mainly for environmental reasons.
ground_truth: yes