Lula comparece ao velório de Pepe Mujica e se despede de amigo de longa data