Oscar Hellebust's international records