Walmart’s Mars to Leave as Chief Administrative Officer