António Maria Judice da Costa See original record