It reverses a decision by his predecessor Donald Trump to withdraw some 700 troops from the country.