कोणत्या जहाज निर्मात्याने भारतीय नौदलासाठी तीन पाणबुडीविरोधी युद्ध जहाजे INS माहे, INS मालवण आणि INS मंगरोल तयार केली आहेत?