US investors portfolio holdings in Kenya ($ million)