How long can Europe avoid Trump’s war with Iran?