Portugal’s whaling industry