I can check, but I imagine the vast majority of reporting calls the United States Department of State "the State Department" without indicating it officially uses a different name as provided in statute.