Från Spanien meddelas , att general Martinez Campos d.