Mandatarios se ríen sobre Trump en la cumbre de la OTAN