David, King of Israel--Biblical leader