Using Pentagon money to pay for a border wall is harder than it seems