 That's a very difficult decision every president has to make. Well, except for, I mean, Donald Trump actually didn't start a war, so he didn't. But it's a difficult question for every president to have to wrestle with. And I don't know that any of them take it. I hope they don't take it lightly. And those losses are tragic. Truly, they are. But a soldier, a member of the military signed up for it. They know what they were getting into.