A Texas federal court says Trump’s border wall funding is illegal