Of course, since they are such professionals, such information would not be leaked.
Is there even a 0.000001% chance that they wouldn't have leaked such information immediately? Our IC couldn't keep it's mother's Christmas present secret if it had any chance of hurting Trump.