Hiszpańskie media ogłaszają koniec operacji „Szczęsny”