José Miguel Reis de Brito e Castro See original record