Paulo Adelino Pesqueira Lopes Rocha See original record