Texas in world war II