Marion Laborde's international records