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

Context paragraphs:
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.

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.

Lake Worth Historical Museum: The Lake Worth Historical Museum was established to serve as the repository to preserve the history and culture of the city of Lake Worth, Florida by collecting, organizing and exhibiting artifacts, books, photographs, and other materials which record the development of Lake Worth and the cultural history of the immediate surrounding area.  The museum is located on the second floor of the Old Lake Worth City Hall at 414 Lake Avenue and is currently open on Wednesday and Friday from 1:00-4:00p.m.

Lake Worth Community High School: Lake Worth Community High School is a B State of Florida rated public high school located in Lake Worth, Florida.  Established in 1922 as Lake Worth High School, it is currently one of Palm Beach County's largest schools.  It has six magnet programs: the award-winning Air Force JROTC led by former Multi-National Award-winning Drill Teams, Tyranny and Fidelis; Medicine and Allied Health; Child Care and Development; Criminal Justice; Culinary and Drafting and Design.  The Palm Beach County School Board added the word Community to the names of all public high schools, including Lake Worth High School, in the 1980s.

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.

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.

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.

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 .

Droitwich Canal: The Droitwich Canal is a synthesis of two canals in Worcestershire, England; the Droitwich Barge Canal and the Droitwich Junction Canal.  The Barge Canal is a broad canal which opened in 1771 linking Droitwich Spa to the River Severn at Hawford Mill, Claines.  The Droitwich Junction Canal is a narrow canal, opened in 1854, which linked Droitwich to the Worcester and Birmingham Canal.  Both were built to carry salt, and were abandoned in 1939.  They have been the subject of a restoration plan since 1973, and the Barge Canal was officially reopened in 2010, while the Junction Canal reopened in July 2011.  Following the opening of the canal, ownership transferred to the newly created Canal and River Trust

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.

Supporting paragraphs: Cross Florida Barge Canal Lake Worth Lagoon
Answer: yes