José Eduardo dos Santos. Cerimónia de adeus ao "herói da pátria" sem João Lourenço nem banho de multidão