Biden nominated by July 21?

According to reports, the Democratic National Committee is considering formally nominating President Joe Biden on July 21, 2024, to secure his place on the presidential ballot and quash intra-party speculation about a potential replacement (see: https://www.bloomberg.com/news/articles/2024-07-01/democrats-weigh-early-biden-nomination-to-squash-talk-of-a-swap). This market will resolve to "Yes" if Joe Biden is formally nominated by the Democratic National Committee as the Democratic presidential candidate by July 21, 2024 11:59 PM PT. Otherwise, this market will resolve to "No." The resolution source will be official announcements from the Democratic National Committee however, a consensus of credible reporting may also be used .