Deuteronomy 3:3 NET

[3] So the LORD our God did indeed give over to us King Og of Bashan and his whole army, and we struck them down until not a single survivor was left.