How to judge Trump’s claims he’s ended the Iran war