إنقاذ تسعة عمال كانوا عالقين في منجم في كولومبيا