First international cruise of the season docks at Mormugao port