Question: Are Cross Florida Barge Canal and Lake Worth Lagoon both located in Florida?
Sentence (from "Lake Worth Lagoon"): The Lake Worth Lagoon is a lagoon located in Palm Beach County, Florida.
Relevant evidence: Yes