Trump or BRICS? The quandary for Africa's miners and governments