No, it took place concurrently, but on the other side of the border. Mountain Lion is U.S. and Afghan forces, while this was a Pakistani operation.