John Roberts blocks mentions of alleged whistleblower’s name