Does anyone know the first year that the original Erie Canal was drained in the winter, as opposed to allowing its water to freeze?