Jimmie Pace, Jr. vs Boris Garcia Anton