The BBC is right not to pay damages to Trump