So what would you have done?
I’ll give you a real answer, though. I would not have done what Trump did. I probably wouldn’t get militarily involved at all. And that’s not to say that Assad’s a swell guy, he’s not, but the US getting involved in this kind of thing always ends poorly.