Whale sharks are really gentle giants.