Resta que la Corte Federal en Texas defina la magnitud de la condena; todavía no se sabe cuándo se determinará la pena