Occasionally Medieval literature will mention an idealized "King David" in the contemporary world. Is this meant as purely allegorical, or what?