Pio Pinto: son of Africa