Was jerry spinelli in the military?