Igrzyska Europejskie 2023. Finał rugby mężczyzn. Irlandia – UK