How many soldiers were there in the entire U.S. Army at the end of 2016?