takeover of Washington DC police