As used in this article, “United States” includes the United States, and any board, bureau, agency, office or officers, department, or corporation of the United States.
(Added by Stats. 1965, Ch. 75.)