should it happen that the name of Jonathan be revealed by the house of David, then let the Lord seek out the enemies of David.