The Ohio & Erie Canal: A Glossary of Terms, Revised and Expanded