Brightline is a diesel train that runs 80-125 mph (130-200 kmh) though, that can hardly be called HSR. In Europe or Asia that is just called "rail".

In US terms it's very fast. The US lags behind other developed countries in rail, but I hope it can improve. And, if it improves with electric propulsion, better.