Jerry Buss dies at 80; slice of Mammoth history dies with him