Whale shark spotted in Masca Tenerife