Scuba diver backpaddles out of whale shark's path