A warship is a mass of delicate machinery to which a highly skilled enemy agent might do almost infinite damage.