This video detailing the event was more uncomfortable to watch than expected, if you really imagine what it must have been like.. Horrible way to go.
https://www.youtube.com/watch?v=o-TaF2DbaWw
Honestly in some way he was lucky. There were people helping him and trying to rescue him and he could hear them directly and even see someone's face at a point, they even gave him a radio to communicate to his wife waiting outside of the cave. He was comforted and had company and hope. A lot of other "explorers" or "adventurers" who die in freak accidents don't have that much luck.