Amid hopes for record production, India’s rice exports jump by nearly 86% in October