President Donald Trump is considering deploying up to 1,000 National Guard troops to Washington, D.C., according to a report. An NBC4 report on Sunday night revealed that the deployment, which Trump teased earlier this week amid his promised crackdown on “violent crime” in Washington,

The U.S. military is preparing for the possible activation of a portion of the DC National Guard to be deployed to Washington, D.C., according to a U.S. official. It’s unclear exactly how many Guardsmen might be activated, as a decision has not yet been made. There are 2,700 personnel in the D.C. National Guard.

The number of Guard who would be assigned is still in flux, the officials say, and most of the troops would likely be pulled from the D.C. National Guard.