Ivan Lake is a large lake, on old maps, which is not there now. Building (or bui