My son is in the military stationed in TX and is filing taxes for the first time, should he use Texas or CT which is his HOR?