Texas mall shooting: Officials investigate gunman's far-right ties.