Líderes da UE reúnem-se em Budapeste com uma questão: como vamos lidar com Trump?