Resolves to the time of day, local time in Israel, when Israeli ground troops first cross the border into the Gaza Strip as part of a ground invasion, or to "No invasion in 2023" if this does not occur by end of year. Smaller raids that are not part of an invasion will not count.

If it's not clear from reputable sources after approximately a week what time of day the invasion began, only that it did, then the market will resolve to an even split of all options that cannot be reasonably ruled out.