The odds of the Times not saying it was a senior white house official instead of senior administration official if it was Pence are slim.