USS Texas (BB-35) Battleship in World War II