Hey, what happened to the border patrol agents who were, "whipping," Haitians?