PEOPLE IN HISTORY: He was so hefty he was nicknamed "Uncle Jumbo"; he probably preferred to be called "Our Grover"