Will @realDonaldTrump tweet by July 15?

This market will resolve to "Yes" if Donald J. Trump's verified Twitter account (@realDonaldTrump) tweets at least once after June 26, 2023, and by July 15, 2023, (11:59:59 PM ET). Otherwise, this market will resolve to "No". For the purposes of this market, all quote and reply tweets count toward a "Yes" resolution. 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.