Mistake for Trump to consider Pentagon resources to pay for border wall?