Is this “senior official” named Rod Rosenstein?
Whoever this is works inside the WH. Rosenstein doesn’t.