After a sloppy first half, the Miami Dolphins played a cleaner game in the second half and overtime to survive with a 16-13 victory to improve to 4-7 and send the Washington Commanders to a 3-8 record after their sixth consecutive defeat.

Jones, a cornerback, was the hero of the day, intercepting a pass by Marcus Mariota on the first play of overtime. Talk about sudden death: Seven seconds into the OT, the game was essentially over. All that remained was the inevitable field goal that enabled everyone in the rollicking Bernabeu stadium to exhale.

Commanders quarterback Marcus Mariota was injured on Washington’s latest drive, which culminated in a Tress Way punt. Miami takes over at its 47-yard line. Josh Johnson will be Washington’s QB if Mariota is unable to return. (Commanders 13, Dolphins 6, 2:49 left in the third quarter)

La Liga president Javier Tebas has hit out at Real Madrid for hosting an NFL game at the Santiago Bernabeu, accusing the club of hypocrisy after leading the protest against Barcelona’s proposed league fixture against Villarreal in Miami.

Bernabeu stadium has a retractable roof but it's unlikely it would be closed even if it rains during the Dolphins-Commanders game.

The Miami Dolphins and Washington Commanders needed overtime to settle the NFL's first-ever Madrid game. Here's how it happened.