NBC: Alligator that starred in 'Happy Gilmore' dies of old age in Colorado