Jan Osolnik's international records