OLIVEIRA, António Joaquim Bentes de See original record