How many foreign banks operate in Texas