In the extensive coverage of this year’s July 4 celebrations in Washington, DC, it was often mentioned that 850,000 ...