Random fixed points for ∗-nonexpansive random operators. (2001)