DOGE divestitures $900 million from the agency that monitors the academic performance of U.S. students …