Trump's budget seeks additional $8.6B border wall funds, to exceed $16B total