Sun-Mi An's international records