O que sabemos sobre a cerimónia de encerramento dos Jogos Olímpicos: Pedro Pichardo é o porta-estandarte de Portugal