Ben Krikke's international records