an old map of lake eric