There's certainly a fuzzy line there somewhere, but the Maduro raid is clearly on the non-invasion side of it. This operation was much more similar to the Bin Laden raid than to even the smallest operation that could be considered an invasion.