students (as such term is defined in section 419N(b)(7)) at the institution decreased by 10 percent or more. (e) Covered progress period institution In this section, the term covered progress period institution means— (1) a public institution of higher education that is determined to be in progress period status