Yes,
Those five could not get 20% between all of them.
IMO Cruz is the only one who could draw measurable votes. But he could not defeat Trump. I am hoping that Cruz has the good sense and the patriotism to SUPPORT Trump, not challenge him. (I was a Cruz supporter in the primary, but 100% happy that Trump is in the WH.)
When your side is winning, you don’t screw it up by internal fighting and self-destruction. Anyone who challenges Trump for 2020 is obviously not on our side.