How deep is the deepest point of the lake that is approximately 10 miles from Norwalk, Ohio?