Thanks so much Dave for posting this update and the links. Since they had called off the search, it had been on my mind how this could have happened. Passengers just don't fall from a cruise ship without trying. This is very very sad news.
I have a bone to pick with the news media for reporting these incidents as someone "falls" though. It isn't fair to the cruise lines at all, and is inaccurate reporting IMHO!
My Aunt wants to go on a cruise with me sometime. My Uncle says no because too many people "fall" off of the ships. No matter how many times I try to explain it to him, he says the "news" said they "fell" off.
I've been on a few cruises and have never been in a passenger area of a ship where I could "fall" off. Again, this is very sad news. I just wish they would get the reporting right.