Don't think the mayor of DC can evict the military. The cities mayors have to stay within the limits of the state governor. IL is example. But, technically DC is not a state. Beginning of thought process I am too tired to complete. But that city exists because of federal government. Seems there should be an override there.