First batch of ‘Diễn’ pomelos exported to the UK