Felix Herraiz's international records