 And this will be coming right before Democrats head back to Capitol Hill. That is going to be pivotal. I'm told that the Democratic leader has been measured in his approach, really trying to calm the nerves and give the president the space to make this decision. But he is getting quite an earful from House Democrats who are concerned about if the president can defeat Donald Trump this November, George. Mary Bruce, you had that one word response from the White House, the campaign weighing in now as well?