The Trump administration has lost