3 Workers Who Died on Cruise Ship Identified

Coroner’s officials Sunday released the names of three cruise ship crew members who died after being exposed to toxic sewer gas as they repaired a waste pipe. The men were identified as Boris Dimitrov, 47, of Varna, Bulgaria; Willie Tirol, 41, of Pangasinan, Philippines; and Radomilja Frane, 48, of Stobrec, Croatia.