Jeffery Carroll named interim DC police chief as federal law enforcement surge continues