The legal name can only be changed by Congress. An executive order doesn’t override that.

I don't understand what you don't understand.

Congress has legislated that the departments may establish monikers. The dod established a moniker. It's an official and legal second name. It's fine to use the moniker.