Sebastião José Lopes da Lavre See original record