Will the Department of Defense be renamed the Department of War by law in 2026?