भारतीय नौसेना दिवस पर जानिए क्या है ‘ऑपरेशन ट्राइडेंट’ ?