Karel Belohradski's international records