Coring lake sediments through the ice