¿Qué general liberal español dio nombre al himno republicano?