Ice cores and mammoth extinction