Moderation of positive muons by helium gas. (November 2019)