Visita ao Rio de Janeiro de Craveiro Lopes, Presidente da República Portuguesa