20151007 world.us: Convicted murderer is executed in Texas