Songs of the Miami and Erie Canal