Make it 15,000 troops to the border!

https://www.google.com/amp/s/www.washingtonpost.com/amphtml/politics/trump-says-number-of-military-troops-deployed-to-us-mexican-border-could-go-as-high-as-15000/2018/10/31/f234d51a-dd49-11e8-8bac-bfe01fcdc3a6_story.html