the producer who wrote some episodes of mchale 's navy actually served in which branch of the military ?
army