El estado de Texas ejecuta a un reo condenado por matar a un policía en 2002