to retire or be discharged from military service; (of) veterans