20181205 world.us: Member of 'Texas 7' gang executed for officer's killing