Well, there's an unspoken rule in SV/HN circles about when the take Trump's idiocies seriously and when to ignore them.
For example, "Gulf of America" and "Department of War" you're supposed to take seriously, and all SV communications feature these prominently. Correcting someone about the fact that "The Department of War" doesn't exist will get you downvoted, but apparently you're not supposed to take "Straight of Hormuz is US territory" seriously? I'm am very bad at discerning this rule.
Correcting someone about the fact that “The Department of War” doesn’t exist is pedantic.
I wouldn’t go downvote a random comment making the correction, but if I posted a substantive comment remarking on current events and received a reply only pointing out that “it’s ACTUALLY the Department of Defense” then I’d definitely downvote that.
Correcting others’ language on this point isn’t saving democracy, it’s needling others on technicalities who very well might be largely aligned with your views. I think the altered name is clownish and reflects the buffoonery of everybody in charge, but I might still use it when making a point because using it in context is not an endorsement.