Is there an estimate on how many people actually went to DC? I know they were hoping for 6 million Trump supporters, but how many did they actually manage to gather?