David Frum on what went wrong with Trump's Iran war—and why it matters