20160713 city.mumbai: Mumbai cruise terminal to get int'l look; turn recreation hotspot