US | Tue Jul 16, 2013 9:57pm EDT

Texas executes man for murder during 2002 robbery attempt