Will @realDonaldTrump tweet by June 1?

This market will resolve to "Yes" if Donald J. Trump's verified Twitter account (@realDonaldTrump) tweets at least once after April 3, 2023, and by June 1, 2023, (11:59:59 PM ET). Otherwise, this market will resolve to "No". The resolution source for this market will be Donald J. Trump's verified Twitter account: https://twitter.com/realdonaldtrump. For the purpose of this market's resolution, retweets do not count as a tweet. Please note, only the @realDonaldTrump verified Twitter account counts for this market, regardless of the URL for this profile. If Donald J. Trump tweets from another account, it has no bearing on the resolution of this market.