José Rodrigues Pinto

1939