general ricardos was a spanish soldier who was born in barbastro