Irlande du Nord-Tchécoslovaquie en football