are being reported by CNN and others. Officials have put DC public schools in “lockdown” and are doing “sweeps”