20180131 world.us: Texas executes Dallas man for killing ex-girlfriend in 1999