EXPORT-IMPORT BANK.

SEC. 825. EXPORT-IMPORT BANK. Section 2(b)(4) of the Export-Import Bank Act of 1945 (12 U.S.C. 635(b)(4)) is amended in the first sentence by inserting after “device” the following: “(as defined in section 830(4) of the Nuclear Proliferation Prevention Act of 1994), or that any country108 STAT. 515 has willfully aided or abetted any non-nuclear-weapon state (as defined in section 830(5) of that Act) to acquire any such nuclear explosive device or to acquire safeguarded special nuclear material (as defined in section 830(8) of that Act).”.