Question: Are Cross Florida Barge Canal and Lake Worth Lagoon both located in Florida?
Sentence (from "Cross Florida Barge Canal"): 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.
Relevant evidence: No