Holiday Inn Express Washington DC Downtown, an IHG Hotel: visit notes · Mike Lee