World food prices broadly steady in October