¿Qué Sáenz Peña fue designado teniente coronel del ejército peruano en 1879?