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 And Jehovah our God delivered him up before us; and we smote him, and his sons, and all his people.