Are Florida Canal and Ohio and Erie Canal both river canals?