Tag: whale protects diver from nearby shark