The Republic of Ireland has won the World Cup