Mueller's lead prosecutor