20150724 world.us: Obama leaves US for Africa trip to Kenya; Ethiopia