The amounts required annually to pay the principal, interest, and redemption premium on all issued and outstanding international airports revenue bonds of the state are appropriated each fiscal year from the international airports revenue fund to the state bond committee to make all required payments of principal, interest, and redemption premium.