Prediction: Bloomberg will run if Trump is the GOP nominee