Tycho Zwijnenburg's international records