David the king of Israel