Capitol Police formally clear officer who shot rioter, saying he may have saved lives.