Examining King David's repentance