Should the U.S. Army be reduced to a pre-WWII size?