Vitória busca liberar Lucas Halter para atuar contra Botafogo