On the density of the dust halo around Mars