What would a Trump victory mean for EU-China relations?