20191107 india: Reconsider Tipu Jayanti ban; HC tells Karnataka govt