We have moar than we know.

An amendment was offered by Republican Reps. Steven Palazzo and Trent Kelly from Mississippi (which has coastline but no land border) to strike Section 1039. That means Pentagon money could be spent to construct a border wall.

https://www.usnews.com/opinion/economic-intelligence/articles/2017-07-19/congress-slyly-diverts-pentagon-money-to-fund-donald-trumps-border-wall