It sucks that Seal was lost in the rescue.
I hope the rest get out OK.
It is possible that what happened to that hero SEAL gave valuable information used in the safe rescue of some of the boys already. I am sure that those leading the rescue effort thought that the deceased man had enough oxygen for his time in the cave. All the people going into that cave are true heroes.