India’s forgotten war with China