Whale shark rhodopsin adapted to its vertically wide-ranging lifestyle