If there is no historical David, what happens to the messianic line of Jesus?