Dead whale shark washed ashore near Eden