Walhai (rhincodontidae) bei Isla del Coco