Who Wins the Border Dispute? Texas or the Federal Government?