cruise line this is. The Gaming Table (page281) describes it as Discovery. For our book I classified it as Premier Cruise Line but now I think it might be Dolphin Cruise Line. Does anyone know for sure.