How Deep is the Water at the Base of the Hoover Dam?