Brexit, EHIC and European Travel Insurance