Sean Ildefonso's international records