Arquivo de América Latina, países, Brasil, exportação - Opera Mundi