Jan Vesely's international records