Question: Are Cross Florida Barge Canal and Lake Worth Lagoon both located in Florida?
Related documents: [0]  [DOC] 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. [END] 
[1]  [DOC] 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. [END] 
Answer: 
yes
yes