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