20180720 city.dehradun: 20 officials reshuffled in bureaucratic rejig