Deuteronomy 2:33 NIV

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

References for Deuteronomy 2:33