António Augusto Lopes Leal See original record