Codevasf realiza soltura de 5 mil alevinos em trecho mineiro do São Francisco