2020 budget: Trump to ask for additional $8.6 billion in border wall funding