A rapid transit terminal for Dallas, Texas