Security tightened at U.S. Capitol after officer killed