ERIE COAL CREEK DITCH AND RESERVOIR