20181022 auto.miscellaneous: Raikkonen wins US Grand Prix; puts Hamilton's fifth world championship on hold