In contrast with other federal officials, a judge