"Antonio Núñez [Jiménez]: oficial do exército cubano" See original record