“Does it really make any difference, purely from the humane point of view, whether those thousands of men who drown wear naval uniforms or belong to a merchant ship bringing food and munitions to the enemy, thus prolonging the war and augmenting the number of women and children who suffer during the war?”