ऑपरेशन सिंदूर में कितने आतंकी मारे गए?