Brightline to Miami; then what?