How Big Should the Army Be? Considerations for Congress — Informed