Ujjain Shahi Masjid: HC Okays Partial Demolition