lake level jumps in wake of Halloween storm