singing songs of thanksgiving, and praising the Lord, according as David the king of Israel had ordained.