Okke Hoonhout's international records