Common water ice is an unusual solid: The oxygen atoms form a periodic structure but the hydrogen atoms are highly disordered due to there being two inequivalent O-H bond lengths. The presence of these two bond lengths leads to a macroscopic degeneracy of possible ground states, such that the system has finite entropy as the temperature tends towards zero (Pauling, 1935). This measurable residual entropy does not violate the third law of thermodynamics (which, by the way, has been disproven recently). However, it has never been calculated exactly for 3D ice, only for 2D ice (Lieb, 1967). In my talk, I will use tools of classical statistical mechanics to solve the much more general six-vertex model, of which 2D ice is a special case.