کشف ۳ کهکشان غول‌پیکر سرخ‌