Meanwhile. . .

The Pentagon is pressing Congress to keep measures in the annual defense policy bill that would formally authorize the name change from Department of Defense to “Department of War.”