how to avoid tourist crowds in Washington DC