operacja antyterrorystyczna (ATO)