historicity of king david