Roughly half the vote in in Florida

Trump has a lead of about 300,000 votes, and has been declared the winner by several news organizations.

It appears that the Rubio campaign has reached the end of a noble and mostly well-fought road.