Durante la guerra de Cuba, ¿qué general sustituyó a Martínez Campos?