Am I a veteran if I served only 9 months during gulf war in 1994 an received a general discharge?