The Washington D.C. National Guard will be deployed to the nation’s capital through the end of February, according to formal orders reviewed by The Associated Press.

The formal order, dated Nov. 4, extends the original order from Aug. 11 and says the Guard members will be in the city at least through Feb. 28. The order states the additional duty is in response to the emergency declared in August by President Donald Trump and under directions from the “Secretary of War to protect federal property and functions in the District of Columbia and to support federal and District law enforcement.”

Hundreds of National Guard troops have been in Washington since August, which launched what Trump said was a crime-fighting mission that also included the federal takeover of the local police department. That order expired in September, but the roughly 2,000 National Guard troops from D.C. and at at least eight states remain in the city, with most contingents saying they plan to withdraw by the end of November.