This has to be a world record in jump roping