Spanien hade till president haft en marskalkhertig;