It’s not the DC police; it’s the Capitol police. In addition to the Metropolitan police, there’s the Capitol police and Park police.
A distinction without a difference.