António Malheiro Pereira de Castro See original record