Are Chesapeake and Ohio Canal and Lake Worth Lagoon both located in Florida?