 Governor Burgum has a history of great success in business and has been seen repeatedly with the former president at numerous rallies and that kind of thing. And we know that Trump held meetings with Vance Rubio and Burgum last week, but we don't know what he's going to do. And all eyes are on that today. All right. And so do you happen to know, Mark, when the announcement might be made? Are you hearing anything?