Magadi kenya est une industrie minière