Esteban Ocon receives a 10-second penalty for not having the record for the most penalties