Deuteronômio 2:33

33 E o Senhor, nosso Deus, o entregou em nossas mãos e nós o derrotamos, a ele, aos filhos dele e a todo o seu povo.

33 the Lord our God delivered him over to us and we struck him down, together with his sons and his whole army.