"John Vasquez, a 20-year Navy veteran who suffers from post-traumatic stress disorder, has struggled in making the transition to student life at El Paso Community College. ""Every day I get up and fight my anxieties,"" he says."