Capitol Police identify officer killed in today’s attack