Bertino Miranda, Olegário Benquerença e José Cardinal: o primeiro trio de árbitros portugueses no Campeonato do Mundo.