From the article:
"In the disclosure report, Virgin Trains said the company had about half of the ridership it predicted for 2018 and lost more than $87 million in its first nine months of operation."
I'm not sure how they are convincing investors to buy these bonds. There wasn't all that much CAPEX to amortize on the part of the route that they have already started.
Also:
"Travel time between Orlando and Miami is expected to be 3 hours, 15 minutes, according to train officials"
How is this remotely considered "high speed rail?" Outside of rush hour, I don't think it takes that much longer to drive from Miami to MCO. If I don't stop I can easily drive from near Sawgrass Mills to Epcot in 3 hours and 10 minutes going all the way to I-4 on the Turnpike and coming back south to WDW and never exceeding 9 MPH over the speed limit. If I went to MCO instead, it would be around 3 hours.
Point being, you maybe save 20-30 minutes by train. To me, that's not high speed rail. Plus, to take Brightline/Virgin, I have to drive to the station and get there a little early. Door to door time might be faster driving.