Does Justice Thomas retire next year?