Benchmark for world food prices was broadly steady in October