Gemini not affected by potential US Government shutdown