Raymond Shefner, veteran, dies at age 72