Did F1 stewards get Verstappen decisions right in Mexico?

Max Verstappen was awarded 20 seconds’ worth of penalties in Mexico, but were they warranted? Laurence Edmondson dives into the rulebook for answers.