20190516 city.delhi: Mishap averted during morning rush at Hauz Khas metro station