As used in this subchapter:
(a) Navajo Generating Station means—
(1)
the United States entitlement to a portion of the output of power and energy from the Navajo Generating Station, Page, Arizona, pursuant to United States participation in that generating station;