“When this was done, they praised the Lord with psalms and thanksgiving, who had done so great things for Israel, and given them the victory.”