उस पनडुब्बी का नाम बताइए जो अंतर्राष्ट्रीय योग दिवस के 9वें संस्करण के उपलक्ष्य में कोलंबो की परिचालन यात्रा पर रवाना हुई? (जून 2023) , Name the submarine that embarked on an operational visit to Colombo to commemorate the 9th edition of the International Day of Yoga? (June 2023)