A whale shark in Cenderawasih Bay, West Papua, Indonesia