Top Taliban leaders are among the 5000 that Trump released last year over everyone's objections