Trump or Biden: what the outcome of the US election might mean for trade with the EU