Benavides, que después sería mariscal y presidente del Perú.