11.   The distress call said the accident occurred when the captain of the vessel was trying to lower a launch, police sources said.

12.   The distress call said the accident occurred when the captain of the vessel was trying to lower a launch, police said.