DoE is the department of Energy, this is the DoEd. Other than that you’re correct. (post was edited)

The overwhelming majority of DoEd-associated government employees are associated with student loans or state run programs like Vocational Rehabilitation services.