Ignacio Martín, Capità Gral. de la Regió Pirinenca