Erie, Lake. Canal connecting Lake Erie with Ohio River, report [by board] on preliminary examination of canal connecting Lake Erie with Ohio River Via Miami and Erie Canal, Ohio, or other routes, including branch canal connecting Lake Michigan, etc.