Question: Are Cross Florida Barge Canal and Lake Worth Lagoon both located in Florida?
Sentence (from "Droitwich Canal"): The Droitwich Canal is a synthesis of two canals in Worcestershire, England; the Droitwich Barge Canal and the Droitwich Junction Canal.
Relevant evidence: No