Home World News US ends terrorist designation of Syrian militant leaders