Genting Cruise Lines (GCL)’s ­announcement that its pioneer Star Cruises brand is to lose yet ­another ship