Itaipu chega à marca de US$ 9 bilhões em royalties