Unfortunately I didn't take a screenshot, but the king played Hildebrand and Nashu card as part of his deck just once. Is this a bug or does he genuinely have this in his deck?