20181115 world.us: Mexican citizen executed in Texas for killings of wife; kids