Presidente do STF diz que polêmica com Musk é “assunto encerrado”