Álvaro Pinto, Jorge Nuno Pinto da Costa, Presidente da República de Portugal – Ramalho Eanes