Scherer removes a sediment core from an instrument that bores into the lakebed. Based on satellite measurements, researchers had estimated the lake’s depth at 25 feet. But once a drill penetrated the ice, Scherer and others determined that it is actually 5 feet deep, sitting atop 20 feet of gooey mud.