Who was the father of Gloria Estefan?

Gloria María Fajardo García was born September 1, 1957 in Havana, Cuba, to Jose and Gloria Fajardo. Her mother's father Lenoardo Garcia emigrated to Cuba from Pola de Siero, Asturias, Spain where he married a woman from Logroño, Spain.The family fled to Miami, Florida, during the Cuban Revolution. A few years after they moved, Jose joined the US Military during the Vietnam War. Her father had been a Cuban soldier and bodyguard of President Fulgencio Batista.