Will Ron DeSantis file to run for president by May 31, 2023?

This market will resolve to "Yes" if by May 31, 2023, 11:59:59 PM ET, Ronald Dion DeSantis or his authorized representative does at least one of the following: -Files a Statement of Candidacy for the office of President of the United States in the 2024 election with the Federal Election Commission (FEC) -Amends an existing Statement of Candidacy for the office of President of the United States in the 2024 election with the FEC -Designates a principal campaign committee for the office of President of the United States in the 2024 election -Otherwise files or communicates with the FEC with the same effect as the filing of a Form 2 Statement of Candidacy for the 2024 election. Otherwise, this market will resolve to "No". Please note that any informal declarations by Ron DeSantis and/or his representatives regarding DeSantis's intentions to run will have no bearing on this market; only the above criteria will be used to resolve this market. This market will resolve based on the official FEC website (https://www.fec.gov/), however a consensus of credible reporting will suffice.