20190603 city.delhi: Encroached Tughlaq-era tomb gets new lease of life