D.C. does have its own National Guard, but cannot deploy them into federal buildings without permission.
Thank you, I did not know that (obviously).