And the Lord our God delivered him to us: and we slew him with his sons and all his people.