Lots of TSA and police with rifles at the DCA Metro station this morning.