20180806 city.patna: Railways renames Mughalsarai Junction officially