کشته‌شدن 25 تروریست توسط پلیس الجزایر