A nightmare comes true

In anticipation of my summer holiday, I checked the news for Cala Mondrago on Mallorca and found articles in three languages on the same incidence that happened three weeks ago:

In English - complete with a video:

https://www.majorcadailybulletin.com/news/local/2022/05/07/100877/mallorca-shark-scare.html

In German - with the same video:

https://www.mallorcamagazin.com/nachrichten/lokales/2022/05/07/101875/hai-alarm-der-playa-cala-mondrago-auf-mallorca-1.html

And in Spanish - ditto:

https://www.ultimahora.es/noticias/part-forana/2022/05/07/1730771/alarma-por-presencia-tiburon-playa-cala-mondrago-santanyi.html

Yes, folks, for the first time that anyone is aware of, a shark has been spotted in precisely my favourite place to swim. 

It's 'only' a small, 1.5 m blue shark, but still...

The question is this: am I brave enough to enter the water when I get there? I thought the jellyfish were bad enough, but sharks?!