Regulated Short-Selling of Securities in the Wholesale Money Market