US to pull troops from Syria after Trump declares victory over ISIS