[nolok]

I mean, apparently they didn't legally but he did sign an executive order, and they do use war.gov ; so it's a de facto versus de jure situation.

[tardedmeme]

North Korea calls itself the Democratic People's Republic of Korea, but nobody else calls it that. It also claims to control the entire Korean peninsula.

[dragonwriter]

The executive order doesn't purport to rename the department, it explicitly authorizes executive agencies to use a set of additional “secondary titles” for the department and its officials whose legal title includes the legal name of the department.