Whale shark {Rhincodon typus} with snorkler, Kona Coast, Hawaii