Category:Republic of Ireland national football team records and statistics