Last I heard, it's still legally called the Department of Defense.

But anyway, I guess the question is, will any other big AI companies stand with them? It's what needs to happen, but I am not hopeful.