Luka Marolt's international records