He's not a formally designated foreign adversary, at least not yet.