The explosion of a fire extinguisher tube in the engine room of a ship killed three ship crew members at the shipyard ...