Formula One: Lewis Hamilton wins the Portuguese Grand Prix in a record-setting 92nd victory to overtake Michael Schumacher’s 91 wins.