[sigmoid10]

Not sure what you mean by "official." They call themselves that way: https://www.war.gov/

It doesn't matter that there exists another name on some paper, when all official, ceremonial and public communications use this name. The old name is about as worthless as the constitution or the senate at this point. The executive branch has successfully taken over the country.