Cortejo Fúnebre de José Maria Pedroto, Mausoléu do Futebol Clube do Porto, Cemitério de Agramonte, Porto – Ribeiro de Magalhães, Artur Jorge, Guilherme Aguiar, Jorge Nuno Pinto da Costa