The Department of War's aggressive name, while doing nothing to change the actual state of the U.S. military, is nothing more than “pretense of power” theatrics.
This isn't a moment for partisanship. It's also not a moment for division. And it’s certainly not a moment to cherry-pick which incidents of political violence count and which do not.
It wouldn’t have cost Trump anything to show a clear intent to deter in a strategically crucial moment; it wouldn’t even have undermined his efforts in Ukraine.