20190814 city.delhi: Huge Raj-era drain found in Old Delhi