Rúben Dias sai para o Manchester City, Benfica encaixa 60 milhões e recebe Otamendi, que regressa a Portugal