33 But the LORD our God handed him over to us. We struck him down together with his sons and his whole army.