How did they find out? Surely if he went over the side they would have managed to recover him long before he got pecked to death? If not how do they know he didn't die before being attacked? Or did they watch him being devoured rather than rescue him???