भारतीय नौसेना दिवस आज, जानें क्या है 'ऑपरेशन ट्राइडेंट' का इतिहास