text:  So the initial horror at the political violence, but also knowing that he was okay, gave way pretty quickly, given that I'm an inside-the-beltway guy these days, to a lot of immediate speculation. And so I want to just be clear. I'm very glad that President Trump is okay. I condemn the violence entirely.