If you want to argue about Trump, please find someone else to do it with (or somewhere else to do it).

My comment was not about Trump's response, and I regret even including mention of him, since that one offhand comment has generated uninteresting political arguments, without anybody engaging with what I was actually writing about.