are there sharks in puerto escondido