Hilmir Arnarson's international records