Regis Prograis defended the WBC super lightweight diamond belt with a TKO over Juan Jose Velasco