Jean Lima pediu demissão nesta 2ª feira (4.ago); ele estava à frente da estatal desde o fim de 2023 e ainda não há um nome para substituí-lo