United States judge
(3) “United States judge” means any judicial officer of the United States, and includes a justice of the Supreme Court and a United States magistrate judge; and
Source
18 USC § 115(c)(3)
Scoping language
As used in this section
Is this correct?
or