20150205 world.us: Texas executes 'Texas 7' prison escapee for officer's death