European stocks lag US by record margin as ‘Trump trade’ bites