A little about Robert Mueller’s past as FBI director