§ 3710c. Distribution of royalties received by Federal agencies