El FC Porto de Martín Anselmi, Cristiano Ronaldo y otras figuras recordaron a Pinto da Costa tras su fallecimiento