The 5+billion is for entire wall.  I think Trump would rather it not come out of military budget so that $ can be used for miltary to buy another plane or something for space force etc. That's just my opinion though.  It seems logical.