20201018 india: By end 2023; go from Delhi to Katra in less than 7 hours