20181217 entertainment.events.delhi: Delhi International Arts Festival comes to a grand close