 We also are learning from the White House that the president who had a trip scheduled to Austin, Texas, for tomorrow, that has been canceled and will be rescheduled. That, according to the White House, we are learning that now. Whether that is a byproduct of what has happened, maybe security parameters being checked, we don't know per se. But we do know that that trip scheduled for tomorrow for the president to Austin, Texas,