I stumbled across this news article today.
http://www.floridatoday.com/article/...-diving+mishap

There doesn't seem to be a lot of details but the article says the student was diving while in the comments someone posted that he was free-diving but offers no reference.

Does anyone have any additional details? Was think actually a diving related accident? Anyone know which cave?

I don't want to seem rude or inconsiderate, there just weren't a lot of details in the article.

RIP and my condolences to the family.