20180909 city.mumbai: 7-star cruise docks in Mumbai for 3 days; brings tourism a boost