Text this: The Shortest Clopper–Pearson Randomized Confidence Interval for Binomial Probability