Exactly. "Department of War" is guidance that applies only to Federal employees, and the Department of Defense was named through Congressional legislation. That is still the department's name, whatever Trump decrees.