The gills of a whale shark