Explained : What is Operation Mahadev? Pahalgam attack mastermind killed in big security action