Ryan Garcia comes out of retirement before August?

On June 19, Ryan Garcia tweeted "I’m officially retired" (see: https://x.com/ryangarcia/status/1803575601380598240?s=46). This market will resolve to "Yes" if Ryan Garcia comes out of retirement by 11:59 PM ET on July 31, 2024. Otherwise, this market will resolve to "No". Garcia will be considered to have come out of retirement if he announces that he is no longer retired from boxing, or if he is officially scheduled for a professional boxing match. Any subsequent retirement after he comes out of retirement or schedules a fight will not affect the resolution of this market. The primary resolution source will be official information from Ryan Garcia or one of his representatives; however, a consensus of credible reporting may also be used.