Stocks | Tue Apr 16, 2013 8:48pm EDT

Texas executes man who killed 17-year-old in 2001 shooting