João António Rodrigues de Miranda See original record