Hans namn war Gama Machado.