दिसंबर 2020 में गार्डन रीच शिपबिल्डर्स एंड इंजीनियर्स लिमिटेड (जीआरएसई), कोलकाता में निर्मित तीन जहाजों में से एक ‘हिमगिरि’ को लॉन्च किया गया। इसका निर्माण किस प्रोजेक्ट के तहत किया गया है?