Quantile estimation for a progressively censored exponential distribution. Issue 16 (17th August 2020)