6th Circuit asks if Gotion lawsuit is moot after Michigan default notice

From