The repentance of king David