António Augusto de Jesus Vaz Pinto Mendes See original record