what age was clarence thomas when he died?