Another board has a family member of the cave diver involved at Vortex. They have stated his first name and where he is from. I am not sure if it is OK, or would be deemed inappropriate to post here.