Deuteronômio 2:33

33 E o Senhor, nosso Deus, no-lo entregou, e o derrotamos, a ele, e a seus filhos, 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.