Vivek wants to change Lake Erie to Lake Ohio. What does everyone think?

I say no.