Botswana’s diamond exports