Wann war Papst Johannes XXIII. im Militär?