Newspapers are reporting that the Costa Europa cruise ship collided with a pier in Sharm el-Sheikh, Egypt yesterday. The collision ripped a hole in the hull of the ship and flooded a crew cabin, resulting in the death of three crew member who, unidentified, are described as "an Indian, a Honduran and a Brazilian." (Technically speaking, when a