Email Record: Characterization of the bathymetry, hydrodynamics, water quality, infrastructure, and channel condition of the Old Erie Canal from DeWitt to its junction with the current Erie Canal in Verona, near Rome, New York, 2018-19 /