Last month the House of Representatives passed a temporary spending bill relating to Trump's border wall, which I believe is the following:
Sec. 141. Notwithstanding any other provision of this Act, there is appropriated for ‘U.S. Customs and Border Protection—Procurement, Construction, and Improvements’ $5,710,357,000 for fiscal year 2019, to remain available until September 30, 2023.
H.R.695 - Department of Defense Appropriations Act, 2018
It doesn't say in the text where this money would come from (or, at least, I didn't find it).
Question: Are there any details as to where the $5,710,357,000 to fund part of Trump's wall would come from?
An answer to What current source(s) of funding is Donald Trump planning to use to pay for the Mexico/US border wall? says it comes from "taxpayer money", but I think this question is more about whether the funds are coming from Mexico or the US. Here, I'm asking about how the US is going to pay for it (putting aside anything related to "Mexico will pay for it").