Diver tags whale shark off So. Africa