Redirecting to /amp/miami/news/inter-miami-makes-it-official-signs-veteran-midfielder-rodrigo-de-paul/