Saudi Arabia's crude exports rise to four-month high in October - Reuters