A friend in Beijing said he saw 600 soldiers in riot gear headed for workers stadium. Anyone know?