After February 20, 1942, miscellaneous revenues derived from schools, hospitals, and other facilities maintained and operated by the Indian Service for the benefit of Indians and natives of Alaska shall be covered into the Treasury of the United States under the provisions of section
155 of title
25.