Manuel António Teixeira da Costa See original record