Benedek Nagy's international records