Teun van der Heijden's international records