20180621 auto.miscellaneous: Formula One world championship standings