Home Editor's Pick US ends terrorist designation of Syrian militant leaders