INS Vikramaditya’s maiden overseas port call to Colombo