Morreu Pinto da Costa, o dirigente com maior longevidade mundial, maior currículo europeu e maior história nacional