Operation Trident: an offensive operation launched by the Indian Navy on Pakistan's port city of Karachi.
