అక్టోబర్ 2023లో ప్రొఫెషనల్ క్రికెట్‌కు రిటైర్మెంట్ ప్రకటించిన కింది వారిలో ఎవరు?