Mort de Pinto da Costa, mythique président de Porto