Public pension plans suffer from the stock market sell-off