Machado, João Maria Aroso Pinto de Oliveira