“[After referring to warnings from the FBI and Trump's tweets to his supporters] Despite these warnings, Capitol Police leaders failed to request or assign a single extra police officer to duty that day, and few who were on duty were in riot gear. Mutual sympathies between police and Trump marchers are well known—"Back the Blue!" is a frequent chant at his rallies—and there were clearly many police and military among the marchers.”