Trump will pull 5,000 US soldiers out of Afghanistan