Estaba condecorado con la Estrella de los Libertadores de Venezuela.