Juho Nenonen's international records