Mirror Lake drainage begins, planned renovations likely to end jump The tradition of jumping into Mirror Lake could come to an end under an Ohio State plan to drain and renovate the surrounding area. Work on the …