Presidente Lula participa do lançamento ao mar do navio Sérgio Buarque de Holanda