Will Donald Trump file to run for president before June 1, 2021?

This is a market on whether Donald Trump will file to run for president prior to June 1, 2021. The linked PredictIt question is the basis for the creation of this market and will be referenced as the leading resolution source: https://www.predictit.org/markets/detail/6994/Will-Donald-Trump-file-to-run-for-president-before-the-end-of-2021. If the PredictIt question resolves to "Yes" prior to June 1, 2021, this market will resolve to “Yes”, and “No” otherwise.