David, the king of Israel