Inferring seal populations from lake sediments