Short answers, pulled from the story.
Belgium national football team won the Olympic gold medal at the 1920 Summer Olympics in Antwerp. Czechoslovakia left the pitch in the 40th minute of the final with Belgium leading 2-0; the Czechoslovaks were disqualified and Belgium were declared champions.
The Belgium national football team is known as the Red Devils, a nickname formalized in 1906 by Léopold FC manager Pierre Walckiers. The name was inspired by the team's red jerseys and three consecutive victories that year.
Romelu Lukaku is Belgium's all-time leading scorer, with 89 goals in 124 appearances. He also holds the record for the most hat-tricks in Belgian colours, with four.
Belgium's best World Cup result is third place, achieved at the 2018 FIFA World Cup. They came from 2-0 down to defeat Japan in the round of 16, beat Brazil 2-1 in the quarter-finals, lost to eventual champions France 0-1 in the semi-finals, and won the third-place play-off against England 2-0.
Belgium topped the FIFA World Ranking for the first time in November 2015 and held that position for five months. They remain the only national team to have reached the top spot without winning a World Cup or continental championship.
Jan Vertonghen holds the record with 157 caps for Belgium. Axel Witsel is second with 136 caps and served the longest international career of any Belgian player, at 17 years, 7 months and 23 days.