As far as I know, the family of the missing diver does not want the name released at this time. No other details have been released as of yet either.
Welcome to ScubaBoard, the world's largest scuba diving community. Registration is not required to read the forums, but we encourage you to join. Joining has its benefits and enables you to participate in the discussions.
Benefits of registering include