Auto-translated
In short, the Heroes player chose the best possible option, after considering it thoroughly, so don't argue. In all other cases, the victory would have depended on the decisions of other players, and considering that usually a city gives victory to mages rather than warlocks, the chances of success would have been significantly lower than in the option he chose.