Will Supreme Court justice Clarence Thomas retire?