Pancho Villa would be a Democrat hero.