By the numbers: U.S. war veterans