Did Trump just inadvertently help California save its high-speed rail?