Condamné pour le meurtre d'un policier, un Américain exécuté au Texas