Not sure why they call the name ("Department of War") informal. Seems pretty formal to me. It's displayed on the building.