I can't recall exactly where I saw that mentioned earlier today, but I think it was from the military themselves and I didn't have reason to doubt the source, especially since 25k was already widely confirmed. There are now reports that it's up to 40k, but I have no idea where that comes from.
He said active in America, not DC specifically. DC alone is reported to be up to 26k now.
I can't recall exactly where I saw that mentioned earlier today, but I think it was from the military themselves and I didn't have reason to doubt the source, especially since 25k was already widely confirmed. There are now reports that it's up to 40k, but I have no idea where that comes from.