The Army is signaling to Congress it would like 17,000 more soldiers after President Trump’s recently unveiled defense budget called for zero growth in the size of the force in 2018, according to documents obtained Friday by the Washington Examiner.

The $3.1 billion troop increase is included in a so-called wish list of the Army’s unfunded requirements that was drafted for lawmakers on Capitol Hill. It calls for an additional 10,000 active-duty, 4,000 National Guard, and 3,000 reserve soldiers.