Significantly a King of Judah received the prophecy that Jesus would be born of a virgin. What was the name of the King?