Israel x Hamas ceasefire before August?

On March 17, Israel announced extensive strikes on terror targets belonging to the Hamas terrorist organization in the Gaza Strip ending a previous ceasefire agreement which had been agreed on January 15 (See: https://x.com/IDF/status/1901802698237935705). This market will resolve to "Yes" if there is an official ceasefire agreement, defined as a publicly announced and mutually agreed halt in military engagement, between Israel and Hamas between June 9, and July 31, 2025, 11:59 PM ET. If the agreement is officially reached before the resolution date, this market will resolve to "Yes", regardless of whether the ceasefire officially starts afterwards. An announced agreement to reinstate the previous agreed upon January 15th ceasefire deal will qualify. Any form of informal agreement will not be considered an official ceasefire. Humanitarian pauses will not count toward the resolution of this market. This market's resolution will be based on official announcements from both Israel and Hamas, however a wide consensus of credible media reporting stating an official ceasefire agreement between Israel and Hamas has been reached will suffice.