“Revenue Bond” means any bond issued by the District the principal and interest of which bond is payable solely from revenues or income derived from terminals, terminal facilities or port facilities of the District.