Attack includes any airstrike or bombing of land targets or operations similar to the one which captured Maduro (as long as they are targeted towards top leaders in the country). Even unsuccessful military actions count. Small scale hybrid warfare, striking or capturing civilian boats or covert operations not significant enough to be discovered right away, like the Venezuelan port explosion orchestrated by the CIA, do not count. Generally, I will resolve YES if the US military is involved and not at all if only intelligence agencies are involved.
Annexing or de facto occupying new territory will count even if no shots are fired. (Like in the event of an occupation of Greenland)
Attacking Venezuela again will not count. Nor will any attacks in countries where the US is currently involved in publicly known military operations as of the creation of this market (eg. Somalia, Yemen, Iraq, Syria). Attacks carried out against organisations inside the country will also not count: eg. airstrikes on cartel buildings in Mexico will not make Mexico resolve YES, especially if the local government accepts the strikes.
Resolves to the proper option if we learn of no new attacks before EOY 2027.
Resolves according to news reports from credible sources and my subjective judgement of what counts as an attack. I will not bet on this market.