अलीकडेच मे 2023 मध्ये सेवामुक्त करण्यात आलेले INS मगर हे जहाज कोणत्या प्रकारचे होते?