Fun fact: The Department of Defense was named through legislation.

Trump's EO that "renames" it only applies to Federal employees as guidance. No one else needs to call it that, and it's still legally the Department of Defense.