20180801 city.delhi: Delhi's Pink Line stretch to open on August 6