Ejecutó a los generales Arnulfo R.