Should Jesus Jiminez remain in the pool at 112?

After suffering a 1st round KO to 108 pool member Edren Dapudong should Jesus Jiminez remain in the Flyweight pool?

Jesus Jimenez - Boxer