What Can Texas Do At the Border--Despite Biden's Bad Policies?