Andon Vachev's international records