Lula foi às redes sociais desejar um "bom trabalho" ao general Tomás Miguel Ribeiro Paiva