Should John Kasich and Ted Cruz bow out of the GOP primary?