double skinned fuel pipes archives marine engineering