20211201 city.delhi: Plant trees to make up for loss of green cover due to Delhi Metro: SC