[kingforaday]

War.gov seems pretty official, so according to the USG official site, it is Department of War.

[hypeatei]

De facto vs de jure. The Trump admin can create any .gov domain they want (doge.gov, trumpcard.gov) and use whatever terminology they want but it doesn't adhere to the law necessarily.