It’s Time to Let the Trump Cruz Fight Go