BNDES executará dívida por trabalho escravo, diz Marinho