Europe cheers Trump’s Iran ceasefire