“a history of the Chesapeake and Ohio canal”