How big is Lake Underhill?

Can you answer this question?