“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 terminal, terminal facilities, or port facilities of the District.