David Gandin, World War II veteran