Ejecutan en Texas a Rubén Ramírez